A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
نویسنده
چکیده
The application of process calculi theory to the modeling and the analysis of biological phenomena has recently attracted the interests of the scientific community. To this aim several specialized, bio-inspired process calculi have been proposed, but a formal comparison of their expressivity is still lacking. In this paper we present π@, an extension of the π-Calculus with priorities and polyadic synchronisation that turns out to be suitable to act as a core platform for the comparison of other calculi. Here we show π@ at work by providing “reasonable” encodings of the two most popular calculi for modeling membrane interactions, namely, BioAmbients and Brane Calculi.
منابع مشابه
A core calculus for the analysis and implementation of biologically inspired languages
The application of Concurrency Theory to Systems Biology is in its earliest stage of progress. The metaphor of cells as computing systems by Regev and Shapiro [85] opened the employment of concurrent languages for the modelling of biological systems. Their peculiar characteristics led to the design of many bio-inspired formalisms which achieve higher faithfulness and specificity. In this thesis...
متن کاملBiologically Inspired Process Calculi, Petri Nets and Membrane Computing
MeCBIC is usually devoted to membrane computing and biologically inspired process calculi (ambients, brane calculi). This year we also attracted papers dealing with bio-inspired Petri nets in order to promote collaboration between the Petri nets and membrane computing communities. Biological membranes play a fundamental role in the complex reactions which take place in cells of living organisms...
متن کاملEncoding Catalytic P Systems in π @
P systems are theoretical computing devices abstracted away from the biological architecture of the cell, introduced some years ago by Gheorghe Păun and now intensely studied. In the area of concurrent systems, process calculi have recently been applied and extended with similar aim, to simulate (and formalise) the behaviour of the cell. Although many common points can be found between the two ...
متن کاملبررسی ترکیبات شیمیایی تشکیل دهنده سنگهای مجاری ادراری در همدان طی سالهای 1372-1368
Calculi are deposited chemicals in compact form . The cause of calculus formation is not known ; however many physical factors which affect the metastable solubility or insolubility o...
متن کاملA Spatial Mobile Calculus for 3D Shapes
We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are speci ed with a timed CCS-like process algebra using a notion of channel to naturally model binding sites on the surface of shapes. The calculus embeds collision detection and response, binding of compatible 3D processes and split of composed 3D
متن کامل